Set theory

Results: 2815



#Item
31IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 47, NO. 5, JULYring [D], with rank G(D) = k . For the purpose of this correspondence, we define the rate k=n convolutional code generated by G(D) as the set Construct

IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 47, NO. 5, JULYring [D], with rank G(D) = k . For the purpose of this correspondence, we define the rate k=n convolutional code generated by G(D) as the set Construct

Add to Reading List

Source URL: math.nd.edu

- Date: 2016-09-06 14:51:44
    32VARIABLE SET THEORY MICHAEL BARR, COLIN MCLARTY, CHARLES WELLS 1. Introduction Author’s note. This paper was originally written in 1986 during a brief time when scientific American had published a number of math articl

    VARIABLE SET THEORY MICHAEL BARR, COLIN MCLARTY, CHARLES WELLS 1. Introduction Author’s note. This paper was originally written in 1986 during a brief time when scientific American had published a number of math articl

    Add to Reading List

    Source URL: www.math.mcgill.ca

    - Date: 2013-12-15 17:39:32
      33Philosophy of Set Theory LPS 247 FallWinterThe mathematical theory of sets is both a foundation (in some sense)

      Philosophy of Set Theory LPS 247 FallWinterThe mathematical theory of sets is both a foundation (in some sense)

      Add to Reading List

      Source URL: www.socsci.uci.edu

      - Date: 2016-08-29 19:04:22
        34Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich? and Alexander Aiken? EECS Department University of California, Berkeley?? Abstract. There is a tension in program analysis between precision and e

        Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich? and Alexander Aiken? EECS Department University of California, Berkeley?? Abstract. There is a tension in program analysis between precision and e

        Add to Reading List

        Source URL: theory.stanford.edu

        - Date: 2014-08-19 20:09:00
          35Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

          Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

          Add to Reading List

          Source URL: theory.stanford.edu

          - Date: 2014-08-19 20:11:20
            36On interpretations of arithmetic and set theory∗ Richard Kaye and Tin Lok Wong School of Mathematics University of Birmingham Birmingham B15 2TT

            On interpretations of arithmetic and set theory∗ Richard Kaye and Tin Lok Wong School of Mathematics University of Birmingham Birmingham B15 2TT

            Add to Reading List

            Source URL: web.mat.bham.ac.uk

            - Date: 2012-01-03 13:02:13
              37Book Review M. Smithson and J. VerkuilenFuzzy Set Theory: Applications in the Social Sciences. Thousand Oaks, CA: Sage. DOI:

              Book Review M. Smithson and J. VerkuilenFuzzy Set Theory: Applications in the Social Sciences. Thousand Oaks, CA: Sage. DOI:

              Add to Reading List

              Source URL: www.stephenvaisey.com

              - Date: 2012-10-02 10:22:02
                38LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio

                LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio

                Add to Reading List

                Source URL: www.math.unipa.it

                - Date: 2009-02-01 11:26:38
                  39University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

                  University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

                  Add to Reading List

                  Source URL: www.mimuw.edu.pl

                  - Date: 2015-08-15 15:21:13
                    40Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-06-20 14:18:41